Evert Willem Beth

Evert Willem Beth (* 7. Juli 1908 in Almelo (Niederlande); † 12. April 1964 in Amsterdam) war ein niederländischer Logiker und Philosoph.

Er war Lehrer an Oberschulen und von 1946 bis 1964 Professor für mathematische Logik, Geschichte der Logik und Wissenschaftstheorie an der Universität von Amsterdam. 1953 wurde er zum Mitglied der Königlich Niederländischen Akademie der Wissenschaften gewählt.^[1]

Beth entwickelte semantische Tafeln, die so genannten Beth-Tableaux als syntaktisches Verfahren zur Behandlung semantischer Probleme von Logikkalkülen.^[2]

1. ↑ Past Members: Evert Willem Beth. Königlich Niederländische Akademie der Wissenschaften, abgerufen am 14. April 2023 (mit Link zur Biografie (niederländisch)). 
2. ↑ Evert Willem Beth: Semantic Entailment and formal derivability, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Band 18, Nummer 13, Amsterdam: 1955, Seite 309–342, gekürzter, übersetzter Nachdruck in Berka/Kreiser 1986, Seite 262 ff.

   Erste systematische Ausarbeitung des Baumkalküls

   • Evert Willem Beth: A topological proof of the theorem of Löwenheim-Skolem-Gödel, Indag. Math. 13, Seite 346–344

   Erste Gedanken in Richtung eines Baumkalküls

   • Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986

   Gekürzter Nachdruck von Beth 1955 ab Seite 262